Verification of Automatic PAR Control System using DEVS Formalism
نویسندگان
چکیده
منابع مشابه
automatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولCustomers – Suppliers relationship self organized control modelling using DEVS formalism
The control of the relationship between partner companies concerns all the actions they develop together to achieve their common objectives and to react at the right time to any failure of one of the partners. A negotiation between the partners is thus required, and this approach involves the management and organization of each partner’s production. The control system of each actor partner must...
متن کاملAutomatic Load Test Verification Using Control Charts
Load testing is an important phase in the software development process. It is very time consuming but there is usually little time for it. As a solution to the tight testing schedule, software companies automate their testing procedures. However, existing automation only reduces the time required to run load tests. The analysis of the test results is still performed manually. A typical load tes...
متن کاملSystem modeling using the Parallel DEVS formalism and the Modelica language
1569-190X/$ see front matter 2010 Elsevier B.V doi:10.1016/j.simpat.2010.03.004 * Corresponding author. Tel.: +34 91 3089469. E-mail addresses: [email protected] (V. Sanz) (S. Dormido). The analysis and identification of the requirements needed to describe P-DEVS models using the Modelica language are discussed in this manuscript. A new free Modelica package, named DEVSLib, is presented. It fac...
متن کاملExtending the DEVS Formalism with Initialization Information
DEVS is a popular formalism to model system behaviour using a discrete-event abstraction. The main advantages of DEVS are its rigourous and precise specification, as well as its support for modular, hierarchical construction of models. DEVS frequently serves as a simulation “assembly language” to which models in other formalisms are translated, either giving meaning to new (domain-specific) lan...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Korea Society for Simulation
سال: 2012
ISSN: 1225-5904
DOI: 10.9709/jkss.2012.21.3.001